Cause-Effect Graphs for Test Models Based on UML and OCL
نویسندگان
چکیده
In this paper, we discuss how to transform UML state machines with OCL expressions into cause-effect graphs. This transformation is necessary to keep test models consistent and understandable. We substantiate all explanations by an example model, which is part of a model for a freight elevator control.
منابع مشابه
A Specification-Based Test Case Generation Method for UML/OCL
Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to class models and recursive query operations on them. A key feature of our approach is an implicit representation of object graphs avoiding a representation based on object-id’s; thus, our approach...
متن کاملAn approach to Model Based Test case generation for Student Admission Process
In this paper proposed research suggests that the combination of state-transition graph and cause-effect graph is an excellent solution of test oracles problems. The empirical setup for ‘Student admission process’ presented in this paper has been implemented to encourage test results. The suggested approach contains UML and OCL architectures, as input in which the combination of state-transitio...
متن کاملEvaluating and Debugging OCL Expressions in UML Models
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...
متن کاملUML and OCL Transformation Model Analysis: Checking Invariant Independence
This paper discusses a case study for showing invariant independence for a transformation model. The study is based on an approach that proposes to analyze UML and OCL models using a solver for relational logic. In the approach, UML and OCL models describe system structures formally with UML class diagrams and OCL class invariants. Test cases in form of object diagrams are constructed and emplo...
متن کاملExpressing and Validating OCL Constraints using Graphs
The definition of the semantics of visual languages, in particular Unified Modeling Language (UML) diagrams, using graph formalism has known a wide success, since graphs fit the multi-dimensional nature of this kind of language. However, constraints written in Object Constraint Language (OCL) and defined on these models are still not well integrated within this graph-based semantics. In this ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softwaretechnik-Trends
دوره 28 شماره
صفحات -
تاریخ انتشار 2008